Christoph Scholl 0001
8 publications
2 venues
H Index 6
Affiliation
University of Freiburg, Department of Computer Science, GermanySaarland University, Department of Computer Science, Saarbr cken, Germany
Links
| Name | Venue | Year | citations |
|---|---|---|---|
Quantifier Elimination in Stochastic Boolean Satisfiability.
|
SAT | 2022 | 0 |
| Incremental Inprocessing in SAT Solving.
|
SAT | 2019 | 26 |
| A PSPACE Subclass of Dependency Quantified Boolean Formulas and Its Effective Solving.
|
AAAI | 2019 | 6 |
| Dependency Quantified Boolean Formulas: An Overview of Solution Methods and Applications - Extended Abstract.
|
SAT | 2018 | 9 |
| From DQBF to QBF by Dependency Elimination.
|
SAT | 2017 | 10 |
| Dependency Schemes for DQBF.
|
SAT | 2016 | 13 |
| 2QBF: Challenges and Solutions.
|
SAT | 2016 | 9 |
| Preprocessing for DQBF.
|
SAT | 2015 | 23 |